Les mathématiques à rebours sont une branche des mathématiques qui pourrait être définie simplement par l`idée de « remonter aux axiomes à partir des théorèmes », contrairement au sens habituel (des axiomes vers les théorèmes). Un peu plus précisément, il s`agit d`évaluer la rob...